Certifiable Numerical Computations in Schubert Calculus
نویسندگان
چکیده
Traditional formulations of geometric problems from the Schubert calculus, either in Plücker coordinates or in local coordinates provided by Schubert cells, yield systems of polynomials that are typically far from complete intersections and (in local coordinates) typically of degree exceeding two. We present an alternative primal-dual formulation using parametrizations of Schubert cells in the dual Grassmannians in which intersections of Schubert varieties become complete intersections of bilinear equations. This formulation enables the numerical certification of problems in the Schubert calculus.
منابع مشابه
A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus
Formulating a Schubert problem as the solutions to a system of equations in either Plücker space or in the local coordinates of a Schubert cell typically involves more equations than variables. We present a novel primal-dual formulation of any Schubert problem on a Grassmannian or flag manifold as a system of bilinear equations with the same number of equations as variables. This formulation en...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملar X iv : a lg - g eo m / 9 70 60 04 v 1 1 0 Ju n 19 97 NUMERICAL SCHUBERT CALCULUS
We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface Schubert conditions we give two algorithms based on extrinsic deformations of the Grassmannian: one is derived from a Gröbner basis for the Plücker ideal of the G...
متن کاملFour Entries for Kluwer Encyclopaedia of Mathematics
The Schubert Calculus is a formal calculus of symbols representing geometric conditions used to solve problems in enumerative geometry. This originated in work of Chasles [9] on conics and was systematized and used to great effect by Schubert in his treatise “Kalkül der abzählenden Geometrie” [33]. The justification of Schubert’s enumerative calculus and the verification of the numbers he obtai...
متن کاملFe b 20 08 GALOIS GROUPS OF SCHUBERT PROBLEMS VIA HOMOTOPY COMPUTATION
Numerical homotopy continuation of solutions to polynomial equations is the foundation for numerical algebraic geometry, whose development has been driven by applications of mathematics. We use numerical homotopy continuation to investigate the problem in pure mathematics of determining Galois groups in the Schubert calculus. For example, we show by direct computation that the Galois group of t...
متن کامل